$\forall$$r$:Rng, $p$, $q$:$\mathbb{Z}$, $E$:(\{$p$..$q$$^{-}$\}$\rightarrow\mid$$r$$\mid$). ($\Sigma$($r$) $p$ $\leq$ $i$ $<$ $q$. $E$($i$)) $\in$ $\mid$$r$$\mid$